Efeitos da primeira poda em povoamentos jovens de Pinus taeda L. estabelecidos em Mafra, SC, região do alto rio negro.

bitstream/item/101227/1/PA-1983-Abrens-EfeitoPrimeira.pd

The Sensoria Approach Applied to the Finance Case Study

This chapter provides an effective implementation of (part of) the Sensoria approach, specifically modelling and formal analysis of service-oriented software based on mathematically founded techniques. The ‘Finance case study’ is used as a test bed for demonstrating the feasibility and effectiveness of the use of the process calculus COWS and some of its related analysis techniques and tools. In particular, we report the results of an application of a temporal logic and its model checker for expressing and checking functional properties of services and a type system for guaranteeing confidentiality properties of services

Cortical-Inspired Wilson–Cowan-Type Equations for Orientation-Dependent Contrast Perception Modelling

We consider the evolution model proposed in Bertalmío (Front Comput Neurosci 8:71, 2014), Bertalmío et al. (IEEE Trans Image Process 16(4):1058–1072, 2007) to describe illusory contrast perception phenomena induced by surrounding orientations. Firstly, we highlight its analogies and differences with the widely used Wilson–Cowan equations (Wilson and Cowan in BioPhys J 12(1):1–24, 1972), mainly in terms of efficient representation properties. Then, in order to explicitly encode local directional information, we exploit the model of the primary visual cortex (V1) proposed in Citti and Sarti (J Math Imaging Vis 24(3):307–326, 2006) and largely used over the last years for several image processing problems (Duits and Franken in Q Appl Math 68(2):255–292, 2010; Prandi and Gauthier in A semidiscrete version of the Petitot model as a plausible model for anthropomorphic image reconstruction and pattern recognition. SpringerBriefs in Mathematics, Springer, Cham, 2017; Franceschiello et al. in J Math Imaging Vis 60(1):94–108, 2018). The resulting model is thus defined in the space of positions and orientation, and it is capable of describing assimilation and contrast visual bias at the same time. We report several numerical tests showing the ability of the model to reproduce, in particular, orientation-dependent phenomena such as grating induction and a modified version of the Poggendorff illusion. For this latter example, we empirically show the existence of a set of threshold parameters differentiating from inpainting to perception-type reconstructions and describing long-range connectivity between different hypercolumns in V1

Corpus luteum color doppler ultrasound and pregnancy outcome in buffalo during the transitional period

This study evaluated corpus luteum (CL) development in buffaloes out of breeding season and assessed an early pregnancy diagnosis. Mediterranean buffaloes (n = 29) were synchronized and artificially inseminated. CL B-mode/color Doppler ultrasonography examinations were performed daily from Days 5 to 10 post-synchronization, recording CL dimensions and blood flow parameters. Blood samples were collected on the same days for the progesterone (P4 ) assay. Data were grouped into pregnant or nonpregnant and retrospectively analyzed. The total pregnancy rate was 50.0% (13/26) on Day 45. A significant difference between CL average area in pregnant and nonpregnant buffaloes was recorded only on Day 10. Pregnant buffaloes showed a significantly higher mean P4 concentration and higher mean time average medium velocity (TAMV) values from Day 5 to Day 10 compared to nonpregnant buffaloes. Linear regression analysis showed a significant relationship between P4 levels and TAMV. Multiple logistic regression highlighted a significant influence of TAMV on pregnancy outcome, particularly on Day 8. This is probably due to the strong relationship between TAMV and P4 production. Both TAMV and P4 could be used to predict pregnancy starting on Day 6, although a more reliable result was obtained at Day 10. Thus, the period between Days 5 and 10 is critical for CL development during the transitional period in buffalo

Specifying and Analysing SOC Applications with COWS

COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above